Reimplementing a Diagrammatic Reasoning Model in Herbal
نویسندگان
چکیده
Introduction This paper builds upon a study of how people find faults in a simple device and a corresponding cognitive model (Ritter & Bibby, 2008). This existing model, Diag, was implemented in Soar 6 and is based on the idea that learning consists of procedural, declarative, and episodic learning. Diag was developed to analyze human behavior while solving a simple diagrammatic problem (Ritter & Bibby, 2008), a task with similarities to many important real world problem solving tasks. Because Diag predicted astonishing results and is implemented in a version of Soar that is no longer supported, an implementation in an up-to-date cognitive architecture is necessary to make the model available again and more flexible to future changes. We maintained Diag’s basic structure while reimplementing it in a high-level behavior representation language, Herbal, that generates Soar models and can generate different variants more quickly that in Soar directly. Herbal compiles into Soar 9, which allows not only that the model can be used again for further research with current Soar models but it is also made accessible to more researchers. This newly implemented model, called Diag-H, was validated by comparing its predictions to the existing data. It could be shown that Diag-H creates almost the same results as Diag but also incorporates the advantages of Herbal.
منابع مشابه
Operationalizing Diagrammaticity
In this contribution we present a model for a component of a diagrammatic reasoning system. For reasons of identifying elementary components for diagrammatic reasoning processes we introduce the notions of the elementary diagrammatic inference step (EDIS) and the elementary diagrammatic simulation step (EDSS) as the basic processes for diagrammatic reasoning. The EDIS comprises several descript...
متن کامل1. A Topological Framework for Modeling Diagrammatic Reasoning Tasks
We propose to model some diagrammatic reasoning tasks within a topological framework. We only focus on problems that require a specific diagrammatic reasoning procedure to be solved rather than on reasoning on diagrams. To model such cognitive tasks, we propose to represent the problem with topological objects and to model the diagrammatic operations performed on them as topological operations....
متن کاملDiagrammatic Reasoning about Allen's Interval Relations
we explore different ways in which a computational model of diagrammatic reasoning can capture imagery experiences which subjects reported in an experiment on spatial reasoning. The algorithmic reconstruction of this particular reasoning process suggests that computational models of diagrammatic reasoning should be formulated at different levels of abstraction. Four levels are distinguished ord...
متن کاملCognitive Conditions of Diagrammatic Reasoning
In the first part of this paper, I delineate Peirce’s general concept of diagrammatic reasoning from other usages of the term that focus either on diagrammatic systems as developed in logic and AI or on reasoning with mental models. The main function of Peirce’s form of diagrammatic reasoning is to facilitate individual or social thinking processes in situations that are too complex to be coped...
متن کاملA Diagrammatic Reasoning System for the Description Logic ALC
Diagrammatic reasoning is a tradition of visual logic that allows sentences that are equivalent to first order logic to be written in a visual or structural form: usually for improved usability. A calculus for the diagram can then be defined that allows well-formed formulas to be derived. This calculus is intended is the analog of logical inference. Description logics (DLs) have become a popula...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009